基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

全方位获取学科信息需求的探讨与实践

全面调研学科信息需求是开展学科服务的前提和基础。以安徽医科大学重点学科为例,结合问卷调查和已发论文的统计分析,提出了一种较为全面地了解学科信息需求的方法。     

静动联合混样器的设计与仿真

针对阿拉山口计量站对于石油混样的要求,结合现有静态混样器和搅拌式混样器的作业特点提出一种静动联合混样装置,该装置利用油液流动的残余压力驱动搅拌叶片对样液二次混合。本文将传统计算方法与Flow Simulation相结合对一次混样、二次混样装置的关键参数进行了确定,通过试验应用混合度评价指标对两种混样装置进行了对比,试验表明该静动联合混样器具有更高的混合效率,符合预期结果.     

柞蚕微孢子虫长极丝型孢子总蛋白的鉴定及功能分析

柞蚕(Antheraea pernyi Guerin-Meneville)是中国北方重要的吐丝经济昆虫,柞蚕微孢子虫(Nosema antheraeae)引起的柞蚕微粒子病是柞蚕产业毁灭性的病害。本研究采用梯度Percoll-NaCl溶液分离纯化柞蚕微孢子虫,提取柞蚕微孢子虫总蛋白,胰蛋白酶消化,然后通过LC-MS/MS精确获得各肽段分子量,经数据库比对后共鉴定到610个蛋白。对鉴定到的蛋白质进行GO蛋白质功能分析,发现孢子时期参与大分子复合物及结构分子活性的蛋白的较多,而参与细胞催化和绑定功能、细胞过程及代谢过程的表达蛋白的所占的比例明显低于预测基因的的比例。研究认为这一结果主要与孢子期的微孢子虫脱离宿主细胞,生理不活跃,处于相对静止的时期,没有能量和物质来源有关;微孢子虫通过降低细胞活动和物质代谢,从而适应所处的环境。
     

基于装备体系韧性的作战网络链路重要度评估及恢复策略

韧性可以全面描述装备体系吸收打击或干扰、并从打击或干扰中恢复的能力, 体现了体系的综合性能。针对装备体系的韧性提出了一种量化评价方法, 以对装备体系作战网络链路进行重要度评估。首先给出了装备体系韧性的明确定义, 并建立了量化韧性的数学模型; 其次提出了基于韧性增加值的链路重要度指标, 并构建了一种基于装备体系韧性的作战网络链路重要度评估模型; 然后构建了不同的恢复策略，并分析了其对作战网络性能恢复的影响; 最后通过应用案例验证了所提方法与模型的适用性和合理性, 为优化体系结构、保障和提高体系作战性能提供了理论支撑, 也为进一步开展基于装备体系韧性的作战网络应用研究提供了参考借鉴。     

利用联合特征参数的卫星单混信号调制识别

针对卫星通信中常见的单-混二进制相移键控(binary phase shift keying, BPSK)、正交相移键控(quadrature phase shift keying, QPSK)、8进制相移键控(8 phase shift keying, 8PSK)、16进制正交幅度调制(16 quadrature amplitude modulation, 16QAM)信号调制识别问题，本文基于不同信号的累积量差异和方谱特性，充分利用累积量和谱线特征并构造合理的特征参数，最终构建决策树分类器，实现了这些信号的调制识别，并有效实现了混合QPSK和混合8PSK信号的识别。实验表明，该算法能够实现高斯白噪声条件下的单-混BPSK、QPSK、8PSK、16QAM信号的分类。当信噪比大于6 dB时，除混合QPSK和混合8PSK信号外，其他信号的调制识别率能达到98%,当信噪比大于10 dB时，混合QPSK和混合8PSK信号的调制识别率能达到92%。与现有算法相比，识别率更高，由此证明所提算法的有效性。     

空域色噪声背景下双基地MIMO雷达角度估计

空域有色噪声会导致现有多输入多输出(multiple input multiple output, MIMO)雷达算法性能下降, 甚至完全失效。针对空域色噪声背景下双基地MIMO雷达联合波离角(direction of departure, DOD)和波达角(direction of arrival, DOA)估计问题, 分析了现有算法失效的原因。考虑到匹配滤波后无噪协方差矩阵的低秩特性、色噪声协方差矩阵的稀疏特性以及MIMO雷达数据的多维结构特性, 提出一种基于张量分析的角度估计算法。首先, 构造角度估计的协方差张量, 通过去除协方差张量中受噪声协方差影响的元素对色噪声进行抑制。其次，利用张量填充技术对无噪协方差矩阵进行恢复。然后，利用平行因子分解获得目标角度的方向矩阵。最后, 采用最小二乘算法对目标的DOA和DOD进行拟合。仿真结果表明, 所提算法对色噪声不敏感, 且无孔径损失。相比现有矩阵及张量分析算法, 所提算法具有更高的估计精度。     

随机产出下的农产品供应链合同

本文设计了存在外部市场的二级农产品供应链,对农产品销货补货渠道进行分析,提出一种考虑外部市场的成本-收入共享合同。研究结果表明,供应商通过与加工企业共享丰收年超出订单量的额外收入,能有效激励加工企业增加订单量,提高双方利润;增添加工企业从外部市场进行补货的渠道能有效缓解供应商欠收的经济压力;考虑外部市场的成本-收入共享合同,能推迟供应链成员退出市场的时间点,利于提高供应链稳定性。     

从抽象到具象:西南端公崇奉神祗的文化表现形态

作为古巫在后世的存续与发展,端公所崇奉的神灵系统体现出驳杂繁冗之特点.众多神祗不仅存在于端公的观念世界中,更在其法事行为中具象化为四种文化形态:神案形态、偶像形态、面具形态、话语形态.这些具象化的文化表现形态,不仅为众多神祗赋予了一种可感性,而且对增强仪式效力及民众信仰度也起着重要作用.端公崇奉神祗的四种文化形态在西南各地具有共通性,这充分表征了西南端公文化作为一个系统存在的文化事实.     

第一人称标记I在英语议论文中的比较研究

研究议论文作者应用第一人称标记I在文中构建作者身份的频率和强度,主要涉及三种类型标记I:自传型、情感型和介入型(后二者为作者型标记I的子类)。基于定量和定性分析,对比研究了三类语料库中标记I的使用频率以及在三类语料库中标记I的比例分配。三类语料库的议论文作者分别是英语本族语学生、英语本族语专业作者和中国学生。结果显示,来自不同语料库的作者使用标记I的差异明显。该研究为改进写作教学提供了依据,对学生在写作时恰当使用标记I来表现自己的作者身份是十分有用的。